export function dec(x: number): number {
  return x - 1;
}

